Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
521	Grading Rubric – Project 2 – Final Report and Source Code (15% of Project 2 Grade) Name(s): Project Topic: CATEGORY Source Code: Add to Reading List Source URL: ecs-network.serv.pacific.edu Language: English - Date: 2012-07-25 00:00:39 Algorithm Mathematical logic Theoretical computer science ALGOL 68 Subroutine
522	MATEC Web of Conferences 4 2 , ) DOI: m atecconf0 2 C Owned by the authors, published by EDP Sciences, 2016 Path planning self-learning Algorithm for a dynamic changing Add to Reading List Source URL: www.matec-conferences.org Language: English Operations research Motion planning Theoretical computer science Robotics A* search algorithm Simulation Collision detection Mobile robot
523	U UNPLUGGED Real-Life Algorithms: Paper Airplanes Lesson time: 20 Minutes Basic lesson time includes activity only. Introductory and Wrap-Up suggestions can be used Add to Reading List Source URL: code.org Language: English - Date: 2016-08-20 03:44:00 Teaching Mathematics education Algorithms Mathematical logic Theoretical computer science Worksheet Lesson Medical algorithm Lesson plan
524	Microsoft Word - f1488_1.doc Add to Reading List Source URL: ti.arc.nasa.gov Language: English Software testing Formal methods Logic in computer science Theoretical computer science Program analysis Software verification Formal verification Static program analysis Model checking Requirement Device driver synthesis and verification Runtime verification
525	M IDDLESEX A LGORITHMS DAY (MAD! 2014) Foundations of Computing Group, Department of Computer Science, School of Science and Technology, Middlesex University, London Add to Reading List Source URL: www.cs.mdx.ac.uk Language: English - Date: 2014-03-14 02:26:32 Theoretical computer science Combinatorial optimization Algorithm Mathematical logic Search algorithm Combinatorics LEMON Matching Algorithm Selection
526	Analyzing Interrupts and Information Retrieval Systems Using Begohm Ike Antkare International Institute of Technology United Slates of Earth Add to Reading List Source URL: membres-lig.imag.fr Language: English - Date: 2014-01-09 04:24:29 Algorithm Mathematical logic Theoretical computer science
527	Teaching Statement Jeffrey Mark Siskind Thursday 31 July 2014 The candidate has redesigned the curriculum for ECE47300. The traditional AI curriculum is less relevant for today’s ECE undergraduates. AI is primarily a r Add to Reading List Source URL: engineering.purdue.edu Language: English - Date: 2015-06-19 10:59:38 Theoretical computer science Artificial intelligence Algorithm Mathematical logic Automated reasoning Pattern matching Evaluation
528	Microsoft PowerPoint - universal_machinesv2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-08 08:45:06 Computability theory Theoretical computer science Formal methods Models of computation Lambda calculus Eval Scheme Env Interpreter Anonymous function Halting problem Turing machine
529	Kankakee Community College ACCUPLACER Scores READING* Add to Reading List Source URL: www.kcc.edu Language: English - Date: 2016-05-03 12:03:26 Fourier analysis Rough set Theoretical computer science Placement testing

UPDATE